арифметика

  • 111МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… …

    Философская энциклопедия

  • 112КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… …

    Математическая энциклопедия

  • 113Теория чисел — Теория чисел, или высшая арифметика раздел математики, изучающий целые числа и сходные объекты. В теории чисел в широком смысле рассматриваются как алгебраические, так и трансцендентные числа, а также функции различного происхождения, которые… …

    Википедия

  • 114Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… …

    Википедия

  • 115Светозаров, Дмитрий Иосифович — Дмитрий Светозаров Имя при рождении: Дмитрий Иосифович Хейфиц Дата рождения: 10 октября 1951(1951 10 10) (61 год) …

    Википедия

  • 116Сойфер, Валерий Николаевич — Валерий Николаевич Сойфер Дата рождения: 1936 год(1936) Место рождения: Горький Страна …

    Википедия

  • 117Сойфер — Сойфер, Валерий Николаевич Валерий Николаевич Сойфер (1936, Горький, СССР)  биофизик, биолог, генетик, историк науки, правозащитник. Содержание 1 Биография 2 Награды и почетные звания …

    Википедия

  • 118Математика в Древнем Египте — Данная статья  часть обзора История математики. Статья посвящена состоянию и развитию математики в Древнем Египте в период примерно с XXX по III век до н. э. Древнейшие древнеегипетские математические тексты относятся к началу II… …

    Википедия

  • 119Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …

    Википедия

  • 120Валерий Николаевич Сойфер — (1936)  российский биофизик, биолог, генетик, историк науки, правозащитник. Содержание 1 Биография 2 Книги …

    Википедия